(module binary
  "\00\61\73\6d\01\00\00\00\01\84\80\80\80\00\01\60"
  "\00\00\03\83\80\80\80\00\02\00\00\05\83\80\80\80"
  "\00\01\00\00\07\85\80\80\80\00\01\01\66\00\01\0a"
  "\8f\80\80\80\00\02\82\80\80\80\00\00\0b\82\80\80"
  "\80\00\00\0b"
)
